Towards a Logical Analysis of Adjusted Winner
نویسنده
چکیده
منابع مشابه
Towards a Logical Analysis of Adjusted Winner Extended Abstract
It is often convenient to view a computational procedure, or a program, as a relation on a set of states, where a state can be thought of as a function that assigns a value to every possible variable and a truth value to all propositions. This idea was proposed by Pratt (Pratt 1976) and extends the work of of Floyd (Floyd 1967) and Hoare (Hoare 1969). Harel, Kozen and Tiuryn ((Harel, Kozen, and...
متن کاملA Framework for Electronic Negotiations Based on Adjusted-Winner Mediation
This paper presents the design of a procedural framework for an electronic market mediation service based on the adjusted-winner procedure for fair division. The main benefit of applying this procedure is that mutually beneficial agreements can be reached with minimal effort by the
متن کاملProposal of the best Suited Deployment Concepts for the identified Scenarios and related RAN Protocols
D3.5 presents relaying as an integral part of the WINNER system concept. The relay based deployment concept allows deploying the WINNER broadband radio interface cost efficiently. Suitable assumptions have been made on the technical solutions as guideline for the definition of protocol requirements. The relay is presented as part of the overall WINNER system concept in the WINNER logical nodes ...
متن کاملThe Adjusted Winner Procedure: Characterizations and Equilibria
The Adjusted Winner procedure is an important fair division mechanism proposed by Brams and Taylor for allocating goods between two parties. It has been used in practice for divorce settlements and analyzing political disputes. Assuming truthful declaration of the valuations, it computes an allocation that is envy-free, equitable and Pareto optimal. We show that Adjusted Winner admits several e...
متن کاملبررسی رفتار و سازه سبکهای حل مسئله نیروی انسانی دانش گرا
Foundations of creativity and innovation will be strengthened in the higher education sector only when approaches to settling in the issue of manpower are identified and geared toward appropriate behaviors. The present article studies the existing ways to solve the problem using four different approaches (sentimental, emotional, logical, and perceptual)and 32 relevant structures to come up wit...
متن کامل